Dynamic Partitioning in Analyses of Numerical Properties
نویسندگان
چکیده
We apply linear relation analysis CH78,HPR97] to the ver-iication of declarative synchronous programs Hal98]. In this approach, state partitioning plays an important role: on one hand the precision of the results highly depends on the neness of the partitioning; on the other hand, a too much detailed partitioning may result in an exponential explosion of the analysis. In this paper, we propose to dynamically select a suitable partitioning according to the property to be proved.
منابع مشابه
Reducing the Forces Caused by Earthquake on Retaining Walls Using Granulated Rubber-Soil Mixture
In recent years, various studies have been undertaken on how to use waste materials in civil engineering projects. Among waste materials, waste rubber has been highlighted to be used for different purposes such as reinforcing of soil and making of reinforced slopes. To investigate the properties of granulated rubber-soil mixture and its application in making of slopes behind retaining walls, so...
متن کاملStatic and Dynamic Analyses of Micropiles to Reinforce the High Railway Embankments on Loose Beds
Construction of railway embankments on loose beds without using any methods of soil improvement (e.g. stone columns in silt and clay beds, deep soil mixing method, jet grouting and also using micropiles individually or in groups form) leads to reduction of embankment slope gradient, which significantly increases the volume of soil operation. Generally, micropile as a reinforcing element with t...
متن کاملNumerical Solution of Seismic Wave Propagation Equation in Uniform Soil on Bed Rock with Weighted Residual Method
To evaluate the earth seismic response due to earthquake effects, ground response analyses are used to predict ground surface motions for development of design response spectra, to compute dynamic stresses and strains for evaluation of liquefaction hazards, and to determine the earthquake induced forces that can lead to instability of earth and earth-retaining structures. Most of the analytical...
متن کاملStability of the Modified Euler Method for Nonlinear Dynamic Analysis of TLP
Efficiency of numerical methods is an important problem in dynamic nonlinear analyses. It is possible to use of numerical methods such as beta-Newmark in order to investigate the structural response behavior of the dynamic systems under random sea wave loads but because of necessity to analysis the offshore systems for extensive time to fatigue study it is important to use of simple stable meth...
متن کاملExperimental and Numerical Free Vibration Analysis of Hybrid Stiffened Fiber Metal Laminated Circular Cylindrical Shell
The modal testing has proven to be an effective and non-destructive test method for estimation of the dynamic stiffness and damping constant. The aim of the present paper is to investigate the modal response of stiffened Fiber Metal Laminated (FML) circular cylindrical shells using experimental and numerical techniques. For this purpose, three types of FML-stiffened shells are fabricated by a s...
متن کامل